An algebra of reversible computation
نویسنده
چکیده
We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.
منابع مشابه
Reversibility in Massive Concurrent Systems
We introduce reversible structures, an algebra for massive concurrent systems, where terms retain bits of causal dependencies that allow one to reverse computation histories. We then study the implementation of (weak coherent) reversible structures in three-domains dna strands, which is the natural model that has inspired reversible structures. We finally provide schemas for modeling significan...
متن کاملSeminearring Models of Reversible Computation I Institutsbericht 533
Process Algebra is one of the well{known algebraic models used in theoretical Computer Science, mappings of semigroups are another such model. Both are based upon an algebraic structure known as a seminearring. Reversible Computation is a paradigm of growing importance, adaptions to current tools are of interest in the light of new developments. The extra structure aaorded to the algebraic stru...
متن کاملRing endomorphisms with nil-shifting property
Cohn called a ring $R$ is reversible if whenever $ab = 0,$ then $ba = 0$ for $a,bin R.$ The reversible property is an important role in noncommutative ring theory. Recently, Abdul-Jabbar et al. studied the reversible ring property on nilpotent elements, introducing the concept of commutativity of nilpotent elements at zero (simply, a CNZ ring). In this paper, we extend the CNZ pr...
متن کاملTowards Reversible Basic Linear Algebra Subprograms: A Performance Study
Problems such as fault tolerance and scalable synchronization can be efficiently solved using reversibility of applications. Making applications reversible by relying on computation rather than on memory is ideal for large scale parallel computing, especially for the next generation of supercomputers in which memory is expensive in terms of latency, energy, and price. In this direction, a case ...
متن کاملAn Algebra of Reversible Quantum Computing
Based on the axiomatization of reversible computing RACP, we generalize it to quantum reversible computing which is called qRACP. By use of the framework of quantum configuration, we show that structural reversibility and quantum state reversibility must be satisfied simultaneously in quantum reversible computation. RACP and qRACP has the same axiomatization modulo the so-called quantum forward...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره 5 شماره
صفحات -
تاریخ انتشار 2016